Position Paper: Model-Based Testing
نویسنده
چکیده
Model-based testing helps to ensure a repeatable and scientific basis for product testing, gives good coverage of all the behaviors of the product and allows tests to be linked directly to requirements. Intensive research on model-based testing in the last 5-10 years has demonstrated the feasibility of this approach, shown that it can be cost-effective, and has developed a variety of test generation strategies and model coverage criteria. Some commercial tools have started to emerge, from the USA (T-Vec, Reactive Systems, I-logix), and also from Europe (Conformiq, Leirios Technologies, Telelogic), as well as a wide variety of academic and research tools [BFS05].
منابع مشابه
The Role of Model-Based Testing
This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a
متن کاملComparison of supraspinatus sonographic thickness in empty can, full can and hug up testing positions in healthy women
Background: Rotator cuff injuries are the most common causes of shoulder pain and supraspinatus muscle is usually involved. Clinical tests are available and inexpensive tools for assessment of shoulder dysfunctions. The empty can (EC) and full can (FC) tests are considered as shoulder gold standard tests. Recently, hug up (HU) test has been developed to assess the supraspinatus. So far, no ultr...
متن کاملInterval Estimation for the Exponential Distribution under Progressive Type-II Censored Step-Stress Accelerated Life-Testing Model Based on Fisher Information
This paper, determines the confidence interval using the Fisher information under progressive type-II censoring for the k-step exponential step-stress accelerated life testing. We study the performance of these confidence intervals. Finally an example is given to illustrate the proposed procedures.
متن کاملTesting Several Rival Models Using the Extension of Vuong\'s Test and Quasi Clustering
The two main goals in model selection are firstly introducing an approach to test homogeneity of several rival models and secondly selecting a set of reasonable models or estimating the best rival model to the true one. In this paper we extend Vuong's method for several models to cluster them. Based on the working paper of Katayama $(2008)$, we propose an approach to test whether rival models h...
متن کاملIdentification and Adaptive Position and Speed Control of Permanent Magnet DC Motor with Dead Zone Characteristics Based on Support Vector Machines
In this paper a new type of neural networks known as Least Squares Support Vector Machines which gained a huge fame during the recent years for identification of nonlinear systems has been used to identify DC motor with nonlinear dead zone characteristics. The identified system after linearization in each time span, in an online manner provide the model data for Model Predictive Controller of p...
متن کامل